The Natural Number Game
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
LEAN 3で自然数の諸性質についてを証明する
回答例
https://github.com/adyavanapalli/natural-number-game-solutions